Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
141	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
142	"Lessons In Electric Circuits, Volume IV -- Digital" Add to Reading List Source URL: www.ibiblio.org Language: English - Date: 2014-10-19 15:52:16 Mathematical logic Electronic design automation Boolean algebra Binary arithmetic Electronic design Digital electronics Logic gate Binary numeral system Canonical form Electronic engineering Mathematics Algebraic logic
143	Negation Scope Delimitation in Clinical Text Using Three Approaches: NegEx, PyConTextNLP and SynNeg Hideyuki Tanushi1 , Hercules Dalianis1 , Martin Duneld1 , Maria Kvist1,2 , Maria Skeppstedt1 , Sumithra Velupillai1 (1) Add to Reading List Source URL: www.diva-portal.org Language: English - Date: 2013-10-31 05:33:58 Computational linguistics Boolean algebra Negation Parsing Treebank Auxiliary verb Logic programming Syntax Linguistics Grammar Semantics
144	Sage Reference Manual: Symbolic Logic Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Mathematics Boolean algebra Semantics Logical connectives Tautology Truth table Conjunctive normal form Negation Sage Logic Propositional calculus Mathematical logic
145	BOOLEAN: Computing with boolean expressions H. Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustra¨se 7 D–14195 Berlin – Dahlem Add to Reading List Source URL: reduce-algebra.com - Date: 2008-12-30 11:45:58
146	RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2004-06-07 10:17:14 Model theory Boolean algebra Order theory Non-standard analysis Universal algebra Ultrafilter Symbol Structure Ultraproduct Mathematics Mathematical logic Logic
147	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
148	Building a Semantic Parser Overnight Yushi Wang∗ Stanford University Jonathan Berant∗ Stanford University Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2015-05-30 04:17:55 Language Theoretical computer science Computational linguistics Categorial grammar Formal grammar Parsing Syntax Semantics Boolean algebra Formal languages Linguistics Grammar
149	The Premiss-Based Approach to Judgment Aggregation Franz Dietrich & Philippe Mongin December 2007 Abstract We investigate judgment aggregation by assuming that some formulas of the Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2008-01-31 05:56:33 Model theory Propositional calculus Semantics Order theory Boolean algebra Interpretation Filter Logic Mathematical logic Mathematics
150	MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Fall 2006 Quiz #1: September 22, 2006 Name Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2012-02-21 10:13:31 Electronics Electronic design Logic gate CMOS Boolean algebra Ternary numeral system Electronic engineering Digital electronics Logic families

UPDATE